Linear temporal logic as an executable semantics for planning languages
نویسندگان
چکیده
منابع مشابه
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning Domain Description Language with control Knowledge), which allows one to specify a planning problem together with heuristic information that can be of help for both pruning the search space and finding better quality ...
متن کاملVectorial Languages and Linear Temporal Logic
Determining for a given deterministic complete automaton the sequence of visited states while reading a given word is the core of important problems with automata-based solutions, such as approximate string matching. The main di3culty is to do this computation e3ciently. Considering words as vectors and working on them using vectorial operations allows to solve the problem faster than using loc...
متن کاملPlanning as model construction in linear temporal logic
In this work we propose a logical approach to planning, based on the view of a planning activity as the search for a nite model of the speci cation of the planning problem. Planning problems are represented in a modal temporal language, based on a discrete, linear model of time, whose execution mechanism exploits model construction techniques related to analytic tableaux. The tableau system is ...
متن کاملExecutable Temporal Logic for Non-Monotonic Reasoning
In this paper we view nonmonotonic reasoning as a (special kind of) process. As temporal logic is a common formalism to specify and derive properties of processes, we introduce a variant of temporal logic as a general specification language for reasoning processes. We show that it is possible to execute finite specifications in this language, which leads to executability of a large class of fin...
متن کاملExecutable Temporal Logic for Interactive Systems
We propose a new paradigm in executable logic, tha t of the declarative past and imperative future. A future statement of temporal logic can be understood in two ways: the declarative way, tha t of describing the future as a temporal extension; and the imperative way, tha t of making sure tha t the future will happen the way we want it. Since the future has not yet happened, we have a language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic, Language and Information
سال: 2006
ISSN: 0925-8531,1572-9583
DOI: 10.1007/s10849-006-9022-1